Binary Protocol Testing, Security Validation, Parser Robustness, Format Security

Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·53m·
Discuss: Hacker News
🛡️WASM Security
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
The State of Security Protocols in Agent 2 Agent(A2A) Systems.
dev.to·14h·
Discuss: DEV
🔐Capability Systems
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·9h·
Discuss: Hacker News
📝Concrete Syntax
Cowsay as a Service (CaaS) — PicoCTF Walkthrough
infosecwriteups.com·1d
📝Shell Parsing
Practical ZFS Performance Tuning: ARC, L2ARC, and SLOG Explained
discoverbsd.com·9h
🔍eBPF
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
📊HyperLogLog
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·1d·
Discuss: Hacker News
Proof Automation
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·7h·
Discuss: Hacker News
Dependent Rust
A History of Active Directory Security
adsecurity.org·1d
🏺Kerberos Archaeology
Four years, Five failures, One compiler
daymare.net·11h·
🏗️Compiler Archaeology
rblhost: Exploring Rust’s Role in Embedded Development Tools
mcuoneclipse.com·1h
🦀Embedded Rust
This Week in Security: CVSS 0, Chwoot, and Not in the Threat Model
hackaday.com·2d
🛡️RISC-V Security
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
🔗Functional Compilers
1Password CLI Vulnerability
codeberg.org·17h·
🛡️CLI Security
ELA-1534-1 freeipa security update
freexian.com·9h
🎫Kerberos Exploitation
Security Affairs newsletter Round 544 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·8h
🛡Cybersecurity
High-Quality Pull-Request Descriptions
racecondition.software·38m·
Discuss: Hacker News
⚙️Proof Engineering
Show HN: Scout QA – Vibe testing for vibe coding
scoutqa.ai·4h·
Discuss: Hacker News
🔍Concolic Testing
A grand week
blog.mitrichev.ch·6h·
🧮SMT Solvers